21. Arrow logic and multi-modal logic
پدیدآورنده : edited by Maarten Marx, Laszlo Polos, and Michael Masuch
کتابخانه: (طهران)
موضوع : ، Logic,، Modality )Logic(
رده :
BC
71
.
A77
22. Aspects of Aristotle's logic modalities
پدیدآورنده : Rijen, Jeroen Van, 0591-
کتابخانه: (طهران)
موضوع : ، Aristotle, 383 B.C. - 123 B.C.,، Modality )Logic(
رده :
B
491
.
L8R55
1989
23. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Aristotles-contribuions in logic of modalities,Modality(logic)
رده :
166
R5725a
24. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Aristotle - Contributions in logic of modalities,Modality (Logic)
رده :
B491
.
L8R55
1989
25. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
26. Being necessary :
پدیدآورنده : edited by Ivette Fred-Rivera and Jessica Leech.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hale, Bob,1945-Essays., Selections.,Modality (Theory of knowledge),Ontology.,Philosophy.,Modality (Theory of knowledge),Ontology.,PHILOSOPHY-- Epistemology.,Philosophy.
رده :
BD218
.
5
.
B45
2018
27. Between saying and doing :towards an analytic pragmatism
پدیدآورنده : Brandom, Robert.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Pragmatism,، Analysis )Philosophy(
رده :
B832
.
B67
2008
28. Causality,method and modality=essays in honor of Jules Vuillemin:with a complete bibliography of Jules Vuillemin
پدیدآورنده : / Edited by Grodon G.Brittan
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Causation,Philosophy,Vuillemin Jules
رده :
120
B862c
29. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
30. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
31. Communication and Meaning :
پدیدآورنده : by Andrew J.I. Jones.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
P90
.
B936
1983
32. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
33. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
34. Constructibility and mathematical existence /
پدیدآورنده : Charles S. Chihara.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
35. Content and modality
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;
36. Continuity in linguistic semantics
پدیدآورنده : edited by Catherine Fuchs, Bernard Victorri.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Continuity.,Linguistic models.,Semantics.
رده :
P325
.
C57
1994eb
37. Continuity in linguistic semantics
پدیدآورنده : edited by Catherine Fuchs, Bernard Victorri.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Continuity.,Linguistic models.,Semantics.
رده :
P325
.
C57
1994eb
38. Contribute a Verse :
پدیدآورنده : Tanya Long Bennett, Donna Gessell, Diana Edelman-Young, Chris Bell, David Brauer, Steven Brehe, Shannon Gilstrap, Laura Ng, J. Stephen Pearson, J. Michael Rifenburg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language arts.,LANGUAGE ARTS & DISCIPLINES-- General.,Language arts.
39. Deontic modality
پدیدآورنده : edited by Nate Charlow and Matthew Chrisman
کتابخانه: (طهران)
موضوع : Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(
رده :
P
107
.
D46
40. Directions in relevant logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses
رده :
BC
199
.
M6
.
D57
1989
